1. Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and its Applications)
پدیدآورنده : / لKatalin Bimb
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
2. Combinatory logic
پدیدآورنده : / Haskell B. Curry, Robert Feys; With two sections by William Cr aig
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Combinatory logic
رده :
511
.
3
C976
3. Combinatory logic
پدیدآورنده : [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatory logic.,Logique combinatoire.,Combinatory logic.,Combinatory logic.,Logic, Symbolic and mathematical.,Logica Matematica.,Logique combinatoire.
رده :
QA9
.
5
.
C87
4. Combinatory logic
پدیدآورنده : Curry, Haskell Brooks
موضوع : ، Combinatory logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Combinatory logic
پدیدآورنده : Katalin Bimbao
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Combinatory logic
رده :
QA
9
,.
5
.
B52C6
2012
6. Combinatory logic. Volume II
پدیدآورنده : [edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatory logic.,MATHEMATICS -- Infinity.,MATHEMATICS -- Logic.
7. Combinatory logic : pure, applied and typed
پدیدآورنده : Bimbo, Katalin, 3691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Combinatory logic
رده :
QA
9
.
5
.
B55C6
8. Elements of combinatory logic
پدیدآورنده : / Frederic B. Fitch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Combinatory logic
رده :
511
.
3
Fi-E
9. To mock a mocking bird and other logic puzzles : including an amazing adventure in combinatory logic
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Philosophical recreations,، Logic puzzles
رده :
GV
1507
.
P43
S68
1990
10. To mock a mockingbird : and other logic puzzles including an amazing adventure in combinatory logic
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Philosophical recreations,، Puzzles,، Logic
رده :
GV
1507
.
P43S68
1985
